Lecture 6: Fault Tolerance: Raft